Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
741	PDF Document Add to Reading List Source URL: www.cs.uta.fi Language: English - Date: 2004-06-04 08:31:17 Automated theorem proving Model theory E theorem prover Theorem prover Tau First-order logic IP Logic in computer science Automated reasoning Theoretical computer science Mathematical logic Software
742	PDF Document Add to Reading List Source URL: www.easychair.org Language: English - Date: 2006-10-20 11:59:18 Theoretical computer science Automated theorem proving Formal methods Philosophy of mathematics Logic in computer science Automated reasoning Formal verification Mathematical logic Formal proof Mathematics Logic Applied mathematics
743	PDF Document Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-03-19 21:28:41 Formal methods Logic in computer science Model theory Philosophy of mathematics Automated theorem proving Satisfiability Modulo Theories First-order logic Satisfiability Logic Theoretical computer science Mathematics Mathematical logic
744	PDF Document Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-08 03:57:02 Model theory Automated theorem proving Rules of inference Proof theory Deduction Natural deduction First-order logic Function Unification Mathematical logic Logic Mathematics
745	PDF Document Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:28 Applied mathematics Logic in computer science Dependently typed programming Type theory Automated theorem proving Proof-carrying code Formal verification Automated proof checking Frank Pfenning Formal methods Theoretical computer science Mathematics
746	PDF Document Add to Reading List Source URL: www.cs.uchicago.edu Language: English - Date: 2008-12-17 14:33:43 Computational complexity theory Logic in computer science Alexander Razborov Automated theorem proving Natural proof Nevanlinna Prize Proof complexity Frege system Steven Rudich Theoretical computer science Applied mathematics Mathematics
747	PDF Document Add to Reading List Source URL: www.cs.sunysb.edu Language: English - Date: 2008-07-06 10:39:46 Theoretical computer science Logic Mathematics SLD resolution Stable model semantics Automated theorem proving FO Prolog Resolution Logic programming Rules of inference Mathematical logic
748	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-08-30 07:17:32 Logic in computer science Formal methods Automated theorem proving Proof assistant Type theory POPLmark challenge Twelf HOL Matita Theoretical computer science Mathematical software Mathematical logic
749	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:15 Logic in computer science Formal methods Automated theorem proving Mizar system Proof assistant Automated proof checking Mizar and Alcor Mathematical proof Isabelle Theoretical computer science Mathematical logic Mathematics
750	PDF Document Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-07-17 03:24:03 Automated theorem proving Formal methods E theorem prover Vampire CADE ATP System Competition Logic in computer science Geoff Sutcliffe Automated reasoning CASC Logic Mathematics Mathematical logic